Data Flow Analysis for CCS
نویسندگان
چکیده
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementation of these languages. Robin Milner’s Calculus of Communicating Systems, CCS, is concerned with modelling concurrent systems and has mainly been analysed using types and control flow analysis. In the present paper we present an instance of a Monotone Framework for more precisely approximating the control structure of processes expressed in CCS.
منابع مشابه
Evaluation of monthly gridded precipitation data products ERA-Interim, PERSIANN-CDR, PERSIANN-CCS and CRU over Khuzestan province
Deficiency and inappropriate distribution of reengage station is one of challenges faced by researchers in hydrology and climate science. In this research, evaluate the applicability of four gridded precipitation data products ERA-Interim, PERSIANN-CDR, PERSIANN-CCS and CRU as a supplement or substitute for ground data in a monthly time scales. This assessment was done by comparison with observ...
متن کاملA Synchronous Bisimulation Based Approach for Information Flow Analysis
A process algebra is defined where parallel composition is structured around synchronous communication. Its essential difference with CCS is the hypothesis that internal actions must be observable for the clock; consequently, in our formalism (strong) bisimulation will be the basis for information flow analysis, instead of equivalences based on trace or weak bisimulation. Bisimulation reduces i...
متن کاملP-111: EGFR, ERK, MEK Genes Expression Level in Cumulus Cells of PCOS Women Compared with Healthy Women
Background Poly cystic ovarian syndrome (PCOS) is known as a common endocrine disorder in women at reproductive ages and may cause developmental abnormality in oocyte. ERK has found as a regulator protein of Gap junctions (GJ) function and the level of exchanges between two neighbors cells, for example oocyte and surrounding cumulus cells (CCs) in the mammalian ovary. Such exchange is essential...
متن کاملLaser Doppler flowmetry in the diagnosis of chronic compartment syndrome.
Chronic compartment syndrome (CCS) is usually considered to be due to ischaemia of muscle. We have attempted to use the direct measurement of muscle blood flow for diagnosis since the assessment of intracompartmental pressure does not provide accurate knowledge of the vascular state. We recorded simultaneously continuous measurements of the laser Doppler flow (LDF) in muscle and the intracompar...
متن کاملAnalyzing the logical structure of data flow diagrams in software documents
Understanding soflware documents requires the logical structure analysis of diagrammatic notations, such as data flow diagrams. A data flow diagram (DFD) represents the functional dependencies within a system: it shows how output values in a computation are derived from input values. We show how the logical structure of a DFD can be described using the formalism of Calculus of Communicating Sys...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006